Formal Rationality